Gibraltar y su hotel flotante de 200 millones de dólares