KTVU managing editor OK’d fake pilot names