A Naval Biographical Dictionary/Densten, Thomas