I hope Trump knows who the mole (s) is that tipped off the occupant of the house.
As I noted, I first saw that article around the time of the reported incident - but the sourcing, etc., was thin. But in hindsight & with additional knowledge since then, I have an inkling such may well have happened - it’s consistent with everything else going on. Note it’s reported that Delta team staged at the Embassy = State Dept. which may explain any leaks.