Trump lays out military plan; formally introduces James 'Mad Dog' Mattis