the Israeli domestic counterintelligence and internal security agency; "the Shin Bet also handles overall security for Israel's national airline"