A vertical section of eddy kinetic energy through the Gulf Stream system