Assessing the turbulent kinetic energy budget in an energetic tidal flow from measurements of coupled ADCPs