How was the red sea made? Over a very long period.