A Naval Biographical Dictionary/Hext, William