Enrique Estuardo
He was most probably named after his late uncle Henry Frederick, Prince of Wales, who, like Henry Frederick, died a teenager.