Original:  U.S. crude oil production hit 9.53 million barrels per day
Updated: U.S. crude oil production hit 9.53 million barrels per day