Which cleaner removes permanent marker from porcelain better?

Clorox removed permanent marker with one spray and a five-minute wait, while Seventh Generation needed scrubbing and a second application.

Report 004902. Filed.