Officials have released the names of two men killed when a natural gas pipeline exploded near the Texas-Oklahoma line.