Characterization of the tidal resource in Rathlin Sound. (December 2017)