SEATTLE—Authorities in the Seattle area are searching for a 17-year-old boy who they say shot and killed a passenger on a city bus last month in what newly filed charging documents describe as “the senseless execution of a total stranger”—a ...