Petroleum industry in Texas during World War II