When was it mentioned that Gamzee would be dumped in Earth's ocean?

Here, when Dave asked what the harm there was in letting Gamzee out