Title: Is it ethically correct to shoot down hijacked airplanes?