A Naval Biographical Dictionary/Randall, Henry