¿Se debe seguir pescando en la zona del Estrecho de Gibraltar?