Europe should take Trump’s diesel ban seriously, if not literally