Following the retirement of its tank battalions in the early 2020s, which U.S. military branch no longer operates the M1A2 Abrams main battle tank, leaving the U.S. Army as its sole American operator?