https://howdozh.blogspot.com/2023/07/how-do-submarines-dive.html