The 9,600-gt cruiseship Funchal (built 1961) was sold at an auction held in Lisbon on Wednesday for EUR 3.9m ($4.4m). The buyer is understood to be linked to an undisclosed British hotel group. Cruise industry