Around 4,000 people let off cruise ship in Lisbon after COVID outbreak