Could the US marines use Israel’s Iron Dome in a war against China?