Spain’s King Felipe plays the flamenco box