Nowhere in that official policy is it stated the the US would intervene militarily, at least not that I could fine. Otherwise, this wouldn't be a big deal. Having said that, I tend to think this was probably just Biden being Biden, but it's worth consideration I think that it could have been planned.