Office of Personnel Management continues implementation of Trump’s civil service executive orders