US just had the coldest & wettest October through May on record = what global warming ?