I personally prefer the latter, as ocean temperatures play a huge role in ice melts as well as other weather phenomena (e.g. hurricane frequency and intensity, even this political advocacy group pretending to be scientific says so). In any case, the two series are generally correlated well, so I have no strong preference which one Intrade specifies.