Witnesses: Man in Halloween mask stabs heroic Houston student at bus stop