US crude production rises to new record high, exceeding 11.5 million b / d