A 16oz cup of Simply Green was accidentally dumped in my 25,000 gallon vinyl in-ground pool. Is it necessary to drain the pool to be safe for swimming? What do I need to do to make it safe if it's not?

Sorry to waste your time on such a dumb mistake.

Thanks for your help.

Chris