A Naval Biographical Dictionary/Hayter, Benjamin