I've never personally seen that resolution used, nor called "4K". If you're going to lump together a resolution with 50% more pixels under the same umbrella term then IMO "4K" is meaningless and we need more granular terminology.