Explosion Destroys East Texas Petroleum Company