Vacation/pool

Harmony

Going on vacation soon. Going to a nice resort wanted to spend some time at the pool with my baby. He is 4 months and 17lbs. What kind of float device can I use? What is the best?