Were there any attempts to build a canal connecting the Mediterranean and Red seas prior to the 19th century? If so, how well did they go?