When did the White House learn of Israel’s strikes on Doha?

Israel carried out military strikes against senior Hamas leaders in the Qatari capital of Doha on Tuesday. CBS News senior national security correspondent Charlie D’Agata has more on what the U.S. knew about the attack.