It would be a casus belli, but it won’t actually result in war. There’s a difference. No matter what the situation, unless the US gives the shooter over to Mexico, it’s a perfectly justified casus belli, just a useless one because there is no way that’s happening and more diplomatic ways to handle it.