Texas hit by hottest summer on record

Texas just finished the hottest June through August on record in the U.S.