Did miggs ever attack us navy in vietnam war