When do global stock markets trade? A simple guide to world exchange hours