Enforcing State-Based Opacity using Synchronizing Automata