King Charles’ speeches had plenty of digs at Donald Trump. Did Trump even notice?