Brazilian police massacre 13 in brutal operation in Rio de Janeiro