A ZFC Dowker space in ℵ_{+1}: An application of pcf theory to topology