Question: unevaluated/inert Matrix-Vector product?

Can Maple carry around an unevaluated/inert explicit Matrix-Vector product?

Define a matrix K and vector U as:

I can take their product using MatrixVectorMultiply( ) I get,

however output I am really looking for is

In the later case,  is still a product however the actual matrix multiplication is not carried out. Sure, eventually I will want to evaluate the matrix-vector product but sometimes when setting up a problem I want to look at the explicit matrix equation before any explicit matrix multiplication is carried out.

Here I show some ideas that don't work but may give a sense of what I am going for. I am essentially trying to mute the computation of the product while keeping the elements of the product together for further substitutions elsewhere. This there a standardized way to complish this? Or do I have to write my own procedure for something like this?