White House press secretary says President Trump was notified by the US military of Israel’s strike on Hamas in Doha.