A salute to Corporal Everald Allen