gavi red card vs porto