A Naval Biographical Dictionary/Heales, Thomas