Mariners’ Julio Rodriguez says he’s OK after he was hit twice in playoff debut