Ximenes, Thomas, active 1712-1714, merchant, of Malaga