Red Line service briefly halted due to bank robbers