Friday is May Day, a traditional communist holiday. (Commies call it International Workers' Day.) It's also the day that President Trump chose to issue an executive order aimed at landing sanctions on…