Editorial: US, Mexico both sending more troops to RGV border; we should know about it