A short history of May Day