 And the strike took place just a block from the US embassy branch, which formerly served as the US 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?