Madeira flag (left) and Disney Magic cruise ship flag in Funchal port