What was that again about Trump targeting civilians in ISIS being a war crime?