De Lubregni, Miguel Martinez, active 1703-1716, Spanish merchant