Gibraltar iza la bandera roja en sus playas por el vertido de petróleo: "no se ha cuantificado la cantidad"