A Naval Biographical Dictionary/Williams, Thomas (b)