It’s official: The US has no boots on the ground in Afghanistan