That should be a red for Pedro, if we go by the standards set for showing reds to Xhaka.

Yes. It actually is a red. Well done ref. Correct decision.