Power System Stability Improvement With Decommissioned Synchronous Machine Using Koopman Operator Based Model Predictive Control