King Willem-Alexander welcomes King Felipe at Palace Huis ten Bosch