When did the civil war end