પાકિસ્તાની નેવીએ તેને ઓપરેશન દ્વારકા નામ આપ્યું હતું.