Marine Engineering College belongs to their major. Their predecessor was the Maritime Academy. Although machinery is more important than marine engines, it is not very detailed.
This is from experience. My previous petroleum college and mechanical college were not as popular as petroleum college.
Besides, it is in the encyclopedia.