US -- October 1 last year, through May 15 this year -- second coldest comparable period on record = what global warming ?