"INFANTE DOM HENRIQUE" becomes cruise ship "VASCO DA GAMA" on December 30, 2011 Infante Dom Henrique Portuguese Liners Trans World Cruising Vasco da Gama +