Aumentan a cuatro los marineros muertos en el naufragio de un barco de dragado en un estrecho de Malasia