Orange County man becomes 9th person executed in Florida this year [1qFAf3Vex8u]