トンキン湾
Gulf of Tonkin operations.