Iglesia de Santo Domingo de Guzmán, Iglesia San Antonio de Padua y Mirador de Don Martín desde Barranco Grande