Editorial: It’s time for Obama to use his executive authority on immigration