a ribbon is for cutting at a ship launching ceremony