US is sending a Terminal High Altitude Area Defense battery to Israel, along with US troops to operate it