kungliga flottet i Madrid.