Robust weakening of the Gulf Stream during the past four decades observed in the Florida Straits