What people call "king prawns" during this season

So these aren't actually king prawns? I've already been to Yeongjongdo and Gimpo twice this year and told everyone I was eating king prawns, but apparently, farmed ones are just called "shrimp," and only wild-caught ones are called "king prawns."