A Naval Biographical Dictionary/Mason, Thomas Henry