Original: These states will secede from Sudan as part of the Republic of South Sudan on 9 July 2011.
Simplified: The official name of Sudan is The Republic of Sudan.