May Day: A Short History of the International Workers' Holiday, 1886-1986