Were the soldiers named Mario & Luigi?