A Naval Biographical Dictionary/Pretyman, William