A Naval Biographical Dictionary/Gill, Thomas