Cartoons: Michael Ramirez for October 16, 2017