Cartoons: Michael Ramirez for October 3, 2017