Dynamic Logic of Trust-Based Beliefs