A reminder for all the European traders heading out (and all the US traders heading out early), Japanese markets are closed on Monday for Marine Day.