Petroleum industry during World War II