SELECT COUNT(*) FROM emp WHERE deptno=30 AND mgr = (SELECT mgr FROM emp WHERE ename = 'KING');