한국인출신 nfl선수는 누가 있나요??

제가 nfl에 관심이 있는데 혹시 한국인 출신 nfl이 역대 4명이라고 했는데 누가 nfl에 진출했는지 알려주시면 감사드려요.