Study offers first definitive proof that Gulf Stream has weakened