I trust that a crew that can ex that hole out so fast and organize this effort will have things right as rain in short order.
Little pressure grouting ought to do the trick.
There are concretes that will set under water. they were used extensively by the Romans. Nothing new.