A spokeswoman for Atmos Energy, which provides natural gas to North Texas, said that the gas company was looking into the apparent explosion.
“We were getting reports that it had started in the restaurant,” Mr. Trojacek said, adding that a restaurant in the hotel was under construction. “We’re not 100 percent sure that that’s where it actually started at this point.”