Specification-Driven Code Translation Powered by LLMs: How Far Are We?