Cómo cambiar a un reloj de 24 horas en Android

Android, de forma predeterminada, muestra la hora en formato de 12 horas.  Aunque dividir el tiempo en dos es algo común en los EE. UU., No lo es e…