Input (grade 10): Following his assassination in 1961 the city was renamed back to Santo Domingo.
Output (grade 12): After his assassination in 1961, Ciudad Trujillo became again Santo Domingo.