5 things to know about pitcher 'King Felix' Hernandez