konung under namn af Alfonso XII.