A Naval Biographical Dictionary/Pettet, John