Surprised by the top military spenders of 2023?