The European Space Agency's CryoSat satellite has found a vast crater in Antarctica's icy surface that may have been left behind when a lake lying under about 3 kilometers of ice suddenly drained.