 So Carton and his friends are okay, but a 50-year-old man was killed and other people were injured, and there was considerable damage and windows shattered over several blocks. And the strike took place just a block from the U.S. Embassy branch, which formerly served as the U.S. Embassy before Donald Trump moved it to Jerusalem in 2018 when he was president. Do we know anything about whether that was the intended target?