NOAA: Antarctic sea ice extent set all time record high