A Naval Biographical Dictionary/Mein, John