Where did christopher Columbus leave to the Atlantic ocean?

portugal