A Naval Biographical Dictionary/Pettman, Richard