A Naval Biographical Dictionary/Palmes, John Philip