Column: Is the U.S. shale oil revolution over? Kemp