President Donald Trump said on Thursday that the Iran war would restart if Tehran or its proxies killed more American troops.

Trump was asked about the tenuous ceasefire between the United States and Iran during an Oval Office event promoting “clean, beautiful coal” as an energy source. Specifically, Trump was asked if Iranian attacks on U.S. troops would be a “red line.”