Malaysia names Sultan Ibrahim of Johor as next king