A Naval Biographical Dictionary/Pretyman, George