Ismail Idris, Crown Prince of Johor