In August 2013, a launching ceremony for Japan's largest military ship since World War II was held in Yokohama. What was the August 2013 launching ceremony in Yokohama held for