Jerónimo Quico: notas sobre un maestro de obras en la Manila del siglo XVIII