a history of the irish naval service