Almost 9,000 people cruise into the capital of Tenerife