Middle names for Jensen?

Alora

We’re thinking Jensen Halen but don’t think it really flows. Last name is Patterson. It can’t be Mason, James, or Cole because that’s our sons name.