High Reynolds number turbulent flow past a rotating cylinder