De Sandoval, Juan, active 18th century