Mr. Hoover and Mr. Smith: a non-partisan comedy song