The ballad of Charles Whitman