Seol mar théacs é seo: On the seasonal variability of eddy kinetic energy in the Gulf Stream region