Drilling a dive hole in Antarctica