A Naval Biographical Dictionary/Mitchell, Thomas (b)