Our navy is short thousands of sailors and struggling to build new ships, but they are looking after the important stuff – changing the official march song because it’s not woke.