Was Lexi Thompson’s four-stroke penalty warranted?