Jon Rahm’s non-penalty in 2017 Irish Open explained