Should Guan Tianlang have been penalized one stroke for slow play?