Tenerife’s ports had more than three million passengers between January and July