Castillo, Juan del, active 18th century