Drivers in the U.S. are facing rising gasoline prices ahead of summer-vacation season, just as refiners here are shipping more gas to other countries. A new pipeline, built to release a glut of crude oil that was stuck in the middle of the country, is now feeding oil to refineries on the Gulf Coast that churn out gasoline and diesel. While these fuels still make their way to the Southeast and the East Coast, growing amounts are being sold to Mexico, the Netherlands, Brazil and other countries. The push into these markets has been spurred by the U.S. oil boom....