Florida High Patrol addresses trooper shortage and its possible impact on holiday safety