I have never seen anyone use the $ sign on other currencies then dollars but there are several countries that uses dollars. Since the group that was visiting was from several countries it is natural to assume that it is USD since that is the most common trade currency.