US to resume all-out war with Iran if its troops killed — WSJ

According to sources cited by the newspaper, this is what the US president told his aides