Trump orders names restored to military base