French onion soup: Which Treasure Coast restaurant serves the best?