What role did ho chi minh play in the vietnam war size comparision of us navy ships