eddie—a small circular current of water, often formed where the main flow meets an obstacle