It's no shock that four of the top five theme parks in the world, as rated by the tourists to visit them, are in Central Florida, but the No. 1 park may surprise you.

That title goes to Discovery Cove, SeaWorld Orlando's sister park, which was the highest-rated amusement park in TripAdvisor's 2014 Travelers' Choice Awards.

Discovery Cove, SeaWorld's all-inclusive day resort best known for its dolphin swim experience, took the No. 1 spot on TripAdvisor's list for the second year in a row. TripAdvisor said its list was based on millions of user reviews.

"Today calls for a celebration," said Sewart Clark, vice president of Discovery Cove, after the list was released. "We're honored that Discovery Cove has been recognized on the world's stage once again for its ability to deliver an unforgettable vacation experience. Daily we witness dreams come true — families bond, friendships strengthen and lifetime memories are made."

No. 2 on the list of the world's best amusement parks is Europa-Park in Germany, the second most popular theme park in Europe, behind Disneyland Park Paris.

Rounding out the top five are Universal's Islands of Adventure (3), the Magic Kingdom (4) and Disney's Hollywood Studios (5).

Five more Florida parks also made the top 25: Disney's Animal Kingdom (10), SeaWorld Orlando (11), Busch Gardens Tampa Bay (14), Epcot (16), and Universal Studios Florida (20).

Here is the full list from TripAdvisor. Theme parks in Florida are in bold:

Top 25 Amusement Parks — World

Source: TripAdvisor, 2014 Traveler's Choice Awards

  1. Discovery Cove
  2. Europa Park (Germany)
  3. Universal's Islands of Adventure
  4. Magic Kingdom
  5. Disney's Hollywood Studios
  6. Beto Carrero World (Brazil)
  7. Disneyland Park (California)
  8. Universal Studios Singapore
  9. PortAventura Park (Spain)
  10. Disney's Animal Kingdom
  11. SeaWorld Orlando
  12. Cedar Point (Ohio)
  13. Universal Studios Hollywood
  14. Busch Gardens Tampa Bay
  15. Ocean Park (Hong Kong)
  16. Epcot
  17. Disney California Adventure
  18. Busch Gardens Williamsburg
  19. Dollywood (Tennessee)
  20. Universal Studios Florida
  21. Silver Dollar City (Missouri)
  22. Sea World San Diego
  23. Walt Disney Studios (Paris)
  24. Disneyland Park Paris
  25. Tivoli Gardens (Denmark)