A Naval Biographical Dictionary/Mitchell, Thomas (a)