Spanish hotel chain ceases operations in Cuba under pressure from Washington