Edison High School student killed in crash involving truck owned by city of Huntington Beach