Bis wann wurde der Hafen von Cork vom britischen Militär genutzt?