What was the name of the French military port that opened on 5 August 1858?