ફાંસી આપવાની આખી કાર્યવાહીને 'ઓપરેશન થ્રી સ્ટાર' આપવામાં આવ્યું હતું.