The Saudi national who killed three people during last week’s shooting spree at Naval Air Station Pensacola filed a complaint against one of his instructors earlier this year alleging that he had called him “Porn Stash” — a nickname that “infuriated” him, a report says. Mohammed Alshamrani, who prepared the document with the help of two American classmates, according to The New York Times, claimed teacher James Day labeled him with the term at the end of a meteorology class in April. In the complaint, Alshamrani wrote that Day was asking about 10 students around the room if they had...