Texas authorities have named a heavily armed gunman who killed eight people including children at a Dallas shopping mall as Mauricio Garcia, aged 33. The man, from Dallas himself, was shot dead by a police officer who was attending a different call in the area. The gunman in Saturday’s attack used an AR-15 style rifle…