What we know about Cole Tomas Allen, the WHCD shooting suspect