Here's a link to a website i found that has a database of pools worldwide. VERY useful if you are going on vacation!
http://www.swimmersguide.com/