కింది వాటిలో ఏ భారత నౌకాదళ నౌక జూన్ 2023లో కొలంబోకు కార్యాచరణ సందర్శనను ప్రారంభించనుంది?