VAR review: Should Arsenal have gotten second pena...

Both Arsenal and Atletico got penalties in their semifinal tie, but were the Gunners unjustly denied a second one?