Foso de la muralla en la zona de la Puerta de San Antonio