"strike that killed Prince Waleed."