Trump at last makes 2019 federal pay raise official