A Naval Biographical Dictionary/Petrie, Peter