Dramatic Underwater Repair in Indian River Keeps Florida City Gas Customers Online