Whaer is tonkin bay?

Off the Vietnam coast.