Fetching details from the dictionary...
entertainment district; amusement area; pleasure quarter; red-light district