Was Jon Rahm’s non-penalty at the Irish Open the right call?