En total fueron bombeados 3,4 km³ de agua salada.