Enhanced mixing across the gyre boundary at the Gulf Stream front