"Johnny Football" is being trademarked