Today is International Joke Day, the annual celebration which encourages people to start the second half of the year with a smile on their faces. Especially when laughter can be in short supply when ...