Who replaced President Trochu?