entrance of San Miguel Castle