Yeah that not too bad and possible on regular gas, but if it was a diver, my bet it was a rebreather or trimix, considering the bottom time was probably more than a few minutes.
I could do a 230ft for 20min with a Navy table decomp schedule and overstay all the stops by a few minutes on an alum 80.
I always used dual 80s for those dives and a regulator on each tank and swapping out tanks every 1000psi in case a high pressure seat blew or some other thing happened.
Point is there are a lot of actors with the ability to cut those pipelines.
My bet is the lines were blown from the inside but I would not bet much as there are so many possible players.
That depth is 8 atmospheres of pressure and at that pressure a typical aluminum tank would last me like 7 minutes tops.
Progressives are the most open minded, tolerant, and inclusive people on the planet, as long as you agree with everything they say, and do exactly as you're told.