The neo-gothic cathedral in San Miguel de Allende, Mexico