I want to know the answer to the following question:
What was the previous name of Rajamangala University of Technology?
All the background I'm provided with is that "Rajamangala University of Technology (formerly Institute of Technology and Vocational Education) and King Mongkut's University of Technology Thonburi". Is that enough to answer the question?