Vajiralongkorn becomes Thailand’s new king