IDF Update: Three killed and several injured in the attack earlier today in Gush Etzion.