Where is shah jahan and mumtaz mahal buried?

Well, the coffins are in the octagonal main chamber. But the actual bodies are buried in a secret underground chamber.