A Naval Biographical Dictionary/Hains, John