Parque del Santurario, Puerta de San Miguel