A Naval Biographical Dictionary/Toker, Thomas Richard