Cartoons: Michael Ramirez for October 23, 2017