Four-tenths of the 20 pens in a drawer have blue ink. How many pens with blue ink are in the drawer?​