There is a one hour NOVA episode that covers the rescue, well done, no politics or excessive drama. watched it again last week by coincidence. had me on the edge of my seat cheering (again). you probably need PBS "passport" membership to see it.

https://www.amazon.com/NOVA-Thai-Cav.../dp/B07KZ8TPJZ
"Nova" Thai Cave Rescue (TV Episode 2018) - IMDb