Who is the retired Nigerian Army general whom eventually appointed the vice admiral, Ibok-Ete Ekwe Ibas, to Chief of Naval Staff (CNS) of the Nigerian Navy?